body
{
}

#ObjectMenu a
{
	display: block;
}

 body                     { background            : gray;}
 body                     { margin            : 0px; }

 div.main                 { background: white  } 
 div.main                 { margin: 25px; }
 div.main                 { border-style: solid  }
 div.main                 { border-color: black  }
 div.main                 { border-top-width: 1px    }
 div.main                 { border-bottom-width: 4px    }
 div.main                 { border-left-width: 1px    }
 div.main                 { border-right-width: 4px    }

 div.main                 { padding-top: 50px   }
 div.main                 { padding-bottom: 50px   }
 div.main                 { padding-left: 100px  }
 div.main                 { padding-right: 100px  }

 a                        { text-decoration: none }
 a                        { color: #CC0000}
 a:hover                  { background: #CCCCCC}
 a.nohover:hover          { background: white  }

 a.rss  
 {
	background: #f60; 
	color: #fff;   
    font-size: small;
    font-weight: bold;
 }

 pre                      { background            : #EEEEEE   }

 img                      { background            : white     }
 img:hover                { background            : white     }

 h1                       { font-size             : large     }
 h2                       { font-size             : medium    }
 h3                       { font-size             : small     }

 h1                       { color                 : #CC0000   }
 h2                       { color                 : #CC0000   }
 h3                       { color                 : #CC0000   }

 h1                       { font-style            : normal    }
 h2                       { font-style            : normal    }
 h3                       { font-style            : italic    }

 h1.no-toc                { font-size             : xx-large  }
 h2.no-toc                { font-size             : x-large   }
 h3.no-toc                { font-size             : large     }